Saltzman’s Model. Part I: Complete Characterization of Solution Properties

Delta-Complete Reachability Analysis (Part I)

We give a new framework for safety verification of nonlinear hybrid systems, based on deltadecidability of first-order logic formulas over the real numbers. We use expressive logic formulas (which can contain nonlinear ODEs with no analytic solutions) to encode bounded model checking and invariant-based reasoning. Based on the encoding, we solve bounded reachability and invariant validation pro...

Environmental Effects on Mechanical Properties of Glass/Epoxy and Fiber Metal Laminates, Part I: Hygrothermal Aging

In this article, the effect of hygrothermal aging on mechanical properties of fiber metal laminates (FMLs) and E-glass/epoxy (GE) composites is investigated. First, FML and GE specimens were built using wet lay-up technique under vacuum pressure. Hygrothermal aging simulation was then carried out on both specimen types in distilled water at a constant temperature of 90 °C for 5 weeks. The resul...

Recent Advances in Therapeutics. Part I (Part I Is Complete on 'Sulphonamides')

On parallel solution of linear elasticity problems: Part I: theory

The discretised linear elasticity problem is solved by the preconditioned conjugate gradient (pcg) method. Mainly we consider the linear isotropic case but we also comment on the more general linear orthotropic problem. The preconditioner is based on the separate displacement component (sdc) part of the equations of elasticity. The preconditioning system consists of two or three subsystems (in ...

Complete Electrode Model of Electrical Impedance Tomography: Approximation Properties and Characterization of Inclusions

In electrical impedance tomography one tries to recover the spatial admittance distribution inside a body from boundary measurements. In theoretical considerations it is usually assumed that the boundary data consists of the Neumann-to-Dirichlet map; when conducting realworld measurements, the obtainable data is a linear finite-dimensional operator mapping electrode currents onto electrode pote...